(0 16 7)(1 17 3)(2 11 9)(4 10 8)(5 15 13)(6 14 12)
ALLOWS (11/8)-SEQUENCE
1: (6 14 17)
(0 16 7)(1 17 12 6 3)(2 11 9)(4 10 8)(5 15 13)(14)
2: (5 15 13)
(0 16 7)(1 17 12 6 3)(2 11 9)(4 10 8)(5)(13)(14)(15)
3: (0 16 7)
(0)(1 17 12 6 3)(2 11 9)(4 10 8)(5)(7)(13)(14)(15)(16)
4: (3 12 6)
(0)(1 17 12)(2 11 9)(3)(4 10 8)(5)(6)(7)(13)(14)(15)(16)